#define CONFIG_X86_TRAMPOLINE 1
